Search results for "model [interaction]"
showing 10 items of 1495 documents
Exact constants in Poincaré type inequalities for functions with zero mean boundary traces
2014
In this paper, we investigate Poincare type inequalities for the functions having zero mean value on the whole boundary of a Lipschitz domain or on a measurable part of the boundary. We find exact and easily computable constants in these inequalities for some basic domains (rectangles, cubes, and right triangles) and discuss applications of the inequalities to quantitative analysis of partial differential equations. Copyright © 2014 John Wiley & Sons, Ltd.
Extending SPARQL with Temporal Logic
2009
The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…
A new approach based on NμSMV Model to query semantic graph
2011
International audience; The language most frequently used to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. Processing of large semantic graphs can be a limit to use semantics in modern information systems. The work presented in this paper is part of a new research at the border between two areas: the semantic web and the model checking. For this, we developed a tool, RDF2NμSMV, which converts RDF graphs into NμSMV language. This conversion aims checking the semantic graphs with the model checker NμSMV in order to verify the consistency of the data. The data integration and shar…
Reaction-Diffusion Network For Geometric Multiscale High Speed Image Processing
2010
International audience; In the framework of heavy mid-level processing for high speed imaging, a nonlinear bi-dimensional network is proposed, allowing the implementation of active curve algorithms. Usually this efficient type of algorithm is prohibitive for real-time image processing due to its calculus charge and the inadequate structure for the use of serial or parallel architectures. Another kind of implementation philosophy is proposed here, by considering the active curve generated by a propagation phenomenon inspired from biological modeling. A programmable nonlinear reaction-diffusion system is proposed under front control and technological constraints. Geometric multiscale processin…
Surfaces of minimal degree of tame representation type and mutations of Cohen–Macaulay modules
2017
We provide two examples of smooth projective surfaces of tame CM type, by showing that any parameter space of isomorphism classes of indecomposable ACM bundles with fixed rank and determinant on a rational quartic scroll in projective 5-space is either a single point or a projective line. For surfaces of minimal degree and wild CM type, we classify rigid Ulrich bundles as Fibonacci extensions. For the rational normal scrolls S(2,3) and S(3,3), a complete classification of rigid ACM bundles is given in terms of the action of the braid group in three strands.
Seasonal reproducibility and predictability of the West African Monsoon in coupled GCMs
2009
In the framework of the ENSEMBLES FP6 project, an ensemble prediction system based on five different state-of-the-art European coupled models has been developed. This study evaluates the performance of these models for forecasting the West African monsoon (WAM) at the monthly time scale. From simulations started the 1 May of each year and covering the period 1991–2001, the reproducibility and potential predictability (PP) of key parameters of the WAM—rainfall, zonal and meridional wind at four levels from the surface to 200 hPa, and specific humidity, from July to September—are assessed. The Sahelian rainfall mode of variability is not accurately reproduced contrary to the Guinean rainfall …
Fatty-acid preference changes during development in Drosophila melanogaster.
2011
WOS:000296521400044; International audience; Fatty-acids (FAs) are required in the diet of many animals throughout their life. However, the mechanisms involved in the perception of and preferences for dietary saturated and unsaturated FAs (SFAs and UFAs, respectively) remain poorly explored, especially in insects. Using the model species Drosophila melanogaster, we measured the responses of wild-type larvae and adults to pure SFAs (14, 16, and 18 carbons) and UFAs (C18 with 1, 2, or 3 double-bonds). Individual and group behavioral tests revealed different preferences in larvae and adults. Larvae preferred UFAs whereas SFAs tended to induce both a strong aversion and a persistent aggregation…
Temporal Logic To Query Semantic Graphs Using The Model Checking Method
2012
International audience; Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling, and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of rese…
Interpretation of the depths of maximum of extensive air showers measured by the Pierre Auger Observatory
2013
To interpret the mean depth of cosmic ray air shower maximum and its dispersion, we parametrize those two observables as functions of the first two moments of the ln A distribution. We examine the goodness of this simple method through simulations of test mass distributions. The application of the parameterization to Pierre Auger Observatory data allows one to study the energy dependence of the mean ln A and of its variance under the assumption of selected hadronic interaction models. We discuss possible implications of these dependences in term of interaction models and astrophysical cosmic ray sources.
Vibrating and shaking soliton pairs in dissipative systems
2007
We show that two-soliton solutions in nonlinear dissipative systems can exist in various forms. As with single solitons, they can be stationary, periodic or chaotic. In particular, we find new types of vibrating and shaking soliton pairs. Each type of pair is stable in the sense that the bound state exists in the same form indefinitely. © 2006 Elsevier B.V. All rights reserved.